partially defined function

部分函数